System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
841	Decltype and auto (revision 3) Programming Language C++ Document no: N1607=[removed]Jaakko Järvi Indiana University Pervasive Technology Laboratories Add to Reading List Source URL: www.open-std.org Language: English - Date: 2004-02-17 01:53:42 Computing Decltype Typeof C++ classes Reference Type system Property Sizeof ?: C++ Software engineering Computer programming
842	A Revised Semantics for Rule Inheritance and Module Superimposition in ATL Dennis Wagelaar? Software Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium [removed], http://soft.v Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2011-07-06 03:21:00 Module Software Computing Programming language implementation Virtual machine Type system
843	PDF Document Add to Reading List Source URL: cs.ulb.ac.be Language: English - Date: 2008-05-12 05:05:11 Computing Programming language theory Unified Modeling Language Boolean algebra Object Constraint Language Type system Boolean data type Enumerated type EXPRESS Data types Software engineering Type theory
844	The Scala Language Specification Version 2.9 DRAFT May 24, 2011 Add to Reading List Source URL: www.scala-lang.org Language: English - Date: 2011-05-25 09:15:01 Type theory Data types Functional programming Functional languages Java platform Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
845	A Study of Compile-time Metaobject Protocol By Shigeru Chiba [removed] Add to Reading List Source URL: www.csg.ci.i.u-tokyo.ac.jp Language: English - Date: 2006-07-20 06:13:08 Computing Lisp programming language Metaobject OpenC++ Functional languages Common Lisp Common Lisp Object System Metaclass Lisp Software engineering Object-oriented programming Computer programming
846	Haskell for (E)DSLs Andres Löh Well-Typed LLP Functional Programming eXchange, 16 March 2012 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2012-03-16 13:23:30 Functional languages Domain-specific language Haskell Type system C Software engineering Computing Programming language theory
847	Generic Haskell Andres Löh Universiteit Utrecht [removed] 24th November 2003 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Programming language theory Haskell Generic programming Type system Pattern matching Haskell 98 features Generalized algebraic data type Software engineering Computing Functional languages
848	Datatype-Generic Programming in Haskell Andres Löh (thanks to José Pedro Magalhães, Simon Peyton Jones and many others) Skills Matter “In the Brain” – 9 April 2013 Copyright © 2013 Well-Typed LLP Add to Reading List Source URL: kosmikus.org Language: English - Date: 2013-04-10 05:28:11 Type theory Data types Generic programming Haskell Type system Type class Enumerated type C Glasgow Haskell Compiler Software engineering Programming language theory Computing
849	doi:[removed]j.entcs[removed] Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2005-07-25 06:30:34 Data types Abstract data types Maude system Functional languages Procedural programming languages Type theory Stack ATS ALGOL 68 Software engineering Computing Programming language theory
850	Types in Functional Programming Languages Andres L¨oh Department of Information and Computing Sciences Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Data types Type theory Program analysis Type system Programming language Subroutine C Array data type Algorithm Software engineering Computing Computer programming

UPDATE